-
1 модель Белла-Лападула
eng.Bell-LaPadulerus.модель Белла-Лападулаukr.модель Бела-ЛападулаФормальная автоматная модель политики безопасности, описывающая множество правил управления доступом.English-Russian dictionary of information security > модель Белла-Лападула
-
2 формальная модель политики безопасности
eng.formal security policy modelrus.формальная модель политики безопасностиukr.формальна модель політики безпекиМатематическое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение (безопасного) состояния системы. Примером является модель Белла-Лападула.English-Russian dictionary of information security > формальная модель политики безопасности
-
3 Bella-LaPadula model
модель Белла-Лападула
Формальная автоматная модель политики безопасности, описывающая множество правил управления доступом. В этой модели компоненты системы делятся на объекты и субъекты. Вводится понятие безопасного состояния и доказывается, что если каждый переход сохраняет безопасное состояние (то есть переводит систему из безопасного состояния в безопасное), то согласно принципу индукции система является безопасной. Состояние системы считается безопасным, если в соответствии с политикой безопасности субъектам разрешены только определенные типы доступа к объектам (в том числе отсутствие доступа).
Для определения, разрешен субъекту доступ к объекту или нет, его уровень прозрачности сравнивается с меткой объекта (уровнем безопасности объекта) и для запрашиваемого типа доступа принимается решение - разрешить доступ или нет.
Принятие решения осуществляется на основе двух правил: простого условия безопасности (simple security condition) и *свойства (*-property или star property). Простое условие безопасности разрешает доступ, если уровень прозрачности субъекта не ниже метки критичности объекта.
*- условие разрешает доступ, если:
- для чтения или выполнения текущий уровень субъекта не ниже метки критичности объекта;
- для записи или модификации текущий уровень субъекта не выше метки критичности объекта.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > Bella-LaPadula model
-
4 Bell-LaPadula model
модель Белла-ЛаПадула ( безопасности системы, описывающая формально переходы системы из одного состояния в другое при выполнении или нарушении правил управления доступом)Англо-русский словарь по компьютерной безопасности > Bell-LaPadula model
-
5 Bell-LaPadule
eng.Bell-LaPadulerus.модель Белла-Лападулаukr.модель Бела-ЛападулаФормальная автоматная модель политики безопасности, описывающая множество правил управления доступом.English-Russian dictionary of information security > Bell-LaPadule
-
6 formal security policy model
eng.formal security policy modelrus.формальная модель политики безопасностиukr.формальна модель політики безпекиМатематическое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение (безопасного) состояния системы. Примером является модель Белла-Лападула.English-Russian dictionary of information security > formal security policy model
См. также в других словарях:
Модель Белла-ЛаПадула — Модель Белла ЛаПадулы модель контроля и управления доступом, основанная на мандатной модели управления доступом. В модели Белла ЛаПадулы анализируется условия, при которых невозможно создание информационных потоков от субъектов с более высокого… … Википедия
модель Белла-Лападула — Формальная автоматная модель политики безопасности, описывающая множество правил управления доступом. В этой модели компоненты системы делятся на объекты и субъекты. Вводится понятие безопасного состояния и доказывается, что если каждый переход… … Справочник технического переводчика
БЛМ — базовая лаборатория метрологии Пример использования БЛМ ОАО «Сургутнефтегаз» БЛМ Биржа лакокрасочных материалов http://korsar.com/blm/rus/ БЛМ … Словарь сокращений и аббревиатур